Alternatives to general relativity are Physical theory that attempt to describe the phenomenon of gravitation in competition with Albert Einstein theory of general relativity. There have been many different attempts at constructing an ideal theory of gravity. These attempts can be split into four broad categories based on their scope:
-
Classical theories of gravity, which do not involve quantum mechanics or force unification.
-
Theories using the principles of quantum mechanics resulting in Quantum gravity.
-
Theories which attempt to explain gravity and other forces at the same time; these are known as classical unified field theories.
-
Theories which attempt to both put gravity in quantum mechanical terms and unify forces; these are called theories of everything.
None of these alternatives to general relativity have gained wide acceptance.
General relativity has withstood many tests over a large range of mass and size scales. When applied to interpret astronomical observations, cosmological models based on general relativity introduce two components to the universe, dark matter and dark energy, the nature of which is currently an unsolved problem in physics. The many successful, high precision predictions of the Lambda-CDM model has led astrophysicists to conclude it and thus general relativity will be the basis for future progress. However, dark matter is not supported by the standard model of particle physics, physical models for dark energy do not match cosmological data, and some cosmological observations are inconsistent.[ These issues have led to the study of
alternative theories of gravity.]
Notation in this article
is the speed of light, is the gravitational constant. "Natural units" are not used.
Latin indices go from 1 to 3, Greek indices go from 0 to 3. The Einstein summation convention is used.
is the Minkowski space. is a tensor, usually the metric tensor. These have Metric signature (−,+,+,+).
Partial differentiation is written or . Covariant differentiation is written or .
General relativity
For comparison with alternatives, the formulas of General Relativity[Einstein, A. (1917) Über die Spezielle und die Allgemeinen Relativatätstheorie, Gemeinverständlich, Vieweg, Braunschweig] are:
which can also be written
The Einstein–Hilbert action for general relativity is:
where is Newton's gravitational constant, is the Ricci curvature of space, and is the action due to mass.
General relativity is a tensor theory, the equations all contain tensors. Nordström's theories, on the other hand, are scalar theories because the gravitational field is a scalar. Other proposed alternatives include scalar–tensor theories that contain a scalar field in addition to the tensors of general relativity, and other variants containing vector fields as well have been developed recently.
Classification of theories
Theories of gravity can be classified, loosely, into several categories. Most of the theories described here have:
-
an 'action' (see the principle of least action, a variational principle based on the concept of action)
-
a Lagrangian density
-
a metric tensor
A further word here about Mach's principle is appropriate because a few of these theories rely on Mach's principle (e.g. Whitehead), and many mention it in passing (e.g. Einstein–Grossmann,[Einstein, A. and Grossmann, M. (1913), Zeitschrift für Mathematik und Physik 62, 225] Brans–Dicke). Mach's principle can be thought of as a half-way-house between Newton and Einstein. An explanation follows:
-
Newton: Absolute space and time.
-
Mach: The reference frame comes from the distribution of matter in the universe.
-
Einstein: There is no reference frame.
This isn't exactly the way Mach originally stated it, see other variants in Mach principle.
Classification based on the action
If a theory has a Lagrangian density for gravity, say , then the gravitational part of the action is the integral of that:
- .
In this equation it is usual, though not essential, to have at spatial infinity when using Cartesian coordinates. For example, the Einstein–Hilbert action uses where R is the scalar curvature, a measure of the curvature of space.
Almost every theory described in this article has an action. It is the most efficient known way to guarantee that the necessary conservation laws of energy, momentum and angular momentum are incorporated automatically; although it is easy to construct an action where those conservation laws are violated. Canonical methods provide another way to construct systems that have the required conservation laws, but this approach is more cumbersome to implement.[Bojowald, Canonical Gravity and Applications, Cambridge University Press, 2001, chapter 3, ] The original 1983 version of MOND did not have an action.
Classification based on the Lagrange density
A few theories have an action but not a Lagrangian density. A good example is Whitehead,[Whitehead, A.N. (1922) The Principles of Relativity, Cambridge Univ. Press] the action there is termed non-local.
Classification based on metricity
A theory of gravity is a "metric theory" if and only if it can be given a mathematical representation in which two conditions hold:
Condition 1: There exists a symmetric metric tensor of Metric signature (−, +, +, +), which governs proper-length and proper-time measurements in the usual manner of special and general relativity:
where there is a summation over indices and .
Condition 2: Stressed matter and fields being acted upon by gravity respond in accordance with the equation:
where is the stress–energy tensor for all matter and non-gravitational fields, and where is the covariant derivative with respect to the metric and is the Christoffel symbol. The stress–energy tensor should also satisfy an energy condition.
Metric theories include (from simplest to most complex):
-
Scalar field theories (includes conformally flat theories & Stratified theories with conformally flat space slices)
-
Bergman
-
Coleman
-
Einstein (1912)
-
Einstein–Fokker theory
-
Lee–Alan Lightman–Wei-Tou Ni
-
Littlewood
-
Ni
-
Nordström's theory of gravitation (first metric theory of gravity to be developed)
-
Page–Tupper
-
Papapetrou
-
Rosen (1971)
-
Whitrow–Morduch
-
Yilmaz theory of gravitation (attempted to eliminate event horizons from the theory.)
-
Quasilinear theories (includes Linear fixed gauge)
-
Bollini–Giambiagi–Tiomno
-
Deser–Laurent
-
Whitehead's theory of gravity (intended to use only retarded potentials)
-
Tensor theories
-
Einstein's general relativity
-
Fourth-order gravity (allows the Lagrangian to depend on second-order contractions of the Riemann curvature tensor)
-
f(R) gravity (allows the Lagrangian to depend on higher powers of the Ricci scalar)
-
Gauss–Bonnet gravity
-
Lovelock theory of gravity (allows the Lagrangian to depend on higher-order contractions of the Riemann curvature tensor)
-
Infinite derivative gravity
-
Scalar–tensor theories
-
TeVeS by Jacob Bekenstein
-
Bergmann–Wagoner
-
Brans–Dicke theory (the most well-known alternative to general relativity, intended to be better at applying Mach's principle)
-
Jordan
-
Nordtvedt
-
Thiry
-
Chameleon
-
Pressuron
-
Vector–tensor theories
-
Hellings–Nordtvedt
-
Will–Nordtvedt
-
Bimetric theories
-
Other metric theories
(see section Modern theories below)
Non-metric theories include
-
Belinfante–Swihart
-
Einstein–Cartan theory (intended to handle spin-orbital angular momentum interchange)
-
Kustaanheimo (1967)
-
Teleparallelism
-
Gauge theory gravity
Theories from 1917 to the 1980s
At the time it was published in the 17th century, Isaac Newton's theory of gravity was the most accurate theory of gravity. Since then, a number of alternatives were proposed. The theories which predate the formulation of general relativity in 1915 are discussed in history of gravitational theory.
This section includes alternatives to general relativity published after general relativity but before the observations of galaxy rotation that led to the hypothesis of "dark matter". Those considered here include (see Will Lang[ Lang, R. (2002) Experimental foundations of general relativity]):
+ Theories from 1917 to the 1980s. |
|
Quasilinear |
Non-metric |
|
|
|
|
Scalar field |
Scalar field |
|
Scalar field |
|
|
Scalar–tensor |
Scalar field |
|
|
Quasilinear |
Scalar field |
Scalar–tensor |
Quasilinear |
|
Scalar–tensor |
Scalar field |
Bimetric |
Scalar field |
Vector–tensor |
Vector–tensor |
Scalar field |
|
Scalar–tensor |
Scalar–tensor |
Bimetric |
These theories are presented here without a cosmological constant or added scalar or vector potential unless specifically noted, for the simple reason that the need for one or both of these was not recognized before the supernova observations by the Supernova Cosmology Project and High-Z Supernova Search Team. How to add a cosmological constant or quintessence to a theory is discussed under Modern Theories (see also Einstein–Hilbert action).
Scalar field theories
The scalar field theories of Nordström have already been discussed. Those of Littlewood, Bergman, Yilmaz, Whitrow and Morduch and Page and Tupper follow the general formula give by Page and Tupper.
According to Page and Tupper, who discuss all these except Nordström, the general scalar field theory comes from the principle of least action:
where the scalar field is,
and may or may not depend on .
In Nordström,
In Littlewood and Bergmann,
In Whitrow and Morduch,
In Whitrow and Morduch,
In Page and Tupper,
Page and Tupper matches Yilmaz's theory to second order when .
The gravitational deflection of light has to be zero when c is constant. Given that variable c and zero deflection of light are both in conflict with experiment, the prospect for a successful scalar theory of gravity looks very unlikely. Further, if the parameters of a scalar theory are adjusted so that the deflection of light is correct then the gravitational redshift is likely to be wrong.
Ni summarized some theories and also created two more. In the first, a pre-existing special relativity space-time and universal time coordinate acts with matter and non-gravitational fields to generate a scalar field. This scalar field acts together with all the rest to generate the metric.
The action is:
Misner et al. gives this without the term. is the matter action.
is the universal time coordinate. This theory is self-consistent and complete. But the motion of the [[Solar System]] through the universe leads to serious disagreement with experiment.
In the second theory of Ni there are two arbitrary functions and that are related to the metric by:
Ni quotes Rosen as having two scalar fields and that are related to the metric by:
In Papapetrou the gravitational part of the Lagrangian is:
In Papapetrou there is a second scalar field . The gravitational part of the Lagrangian is now:
Bimetric theories
Bimetric theories contain both the normal tensor metric and the Minkowski metric (or a metric of constant curvature), and may contain other scalar or vector fields.
Rosen (1975) developed a bimetric theory. The action is:
Lightman–Lee developed a metric theory based on the non-metric theory of Belinfante and Swihart. The result is known as BSLL theory. Given a tensor field , , and two constants and the action is:
and the stress–energy tensor comes from:
In Rastall, the metric is an algebraic function of the Minkowski metric and a Vector field. The action is:
where
- and .
Quasilinear theories
In Whitehead, the physical metric is constructed (by Synge) algebraically from the Minkowski metric and matter variables, so it doesn't even have a scalar field. The construction is:
where the superscript (−) indicates quantities evaluated along the past light cone of the field point and
\begin{align}
(y^\mu)^-& =x^\mu-(x^\mu)^-, \qquad (y^\mu)^-(y_\mu)^-=0,\\5pt
w^- & =(y^\mu)^-(u_\mu)^-, \qquad (u_\mu) = \frac{dx^\mu}{d\sigma}, \\5pt
d\sigma^2 & =\eta_{\mu\nu} \, dx^\mu \, dx^\nu
\end{align}
Nevertheless, the metric construction (from a non-metric theory) using the "length contraction" ansatz is criticised.
Deser and Laurent and Bollini–Giambiagi–Tiomno are Linear Fixed Gauge theories. Taking an approach from quantum field theory, combine a Minkowski spacetime with the gauge invariant action of a spin-two tensor field (i.e. graviton) to define
The action is: